Contextual Linear Types for Differential Privacy

Language support for differentially-private programming is both crucial and delicate. While elaborate program logics can be very expressive, type-system based approaches using linear types tend to be more lightweight and amenable to automatic checking and inference, and in particular in the presence of higher-order programming. Since the seminal design of Fuzz, which is restricted to $\epsilon$-differential privacy, a lot of effort has been made to support more advanced variants of differential privacy, like ($\epsilon$,$\delta$)-differential privacy. However, supporting these advanced privacy variants while also supporting higher-order programming in full has been proven to be challenging. We present Jazz, a language and type system which uses linear types and latent contextual effects to support both advanced variants of differential privacy and higher-order programming. Even when avoiding advanced variants and higher-order programming, our system achieves higher precision than prior work for a large class of programming patterns. We formalize the core of the Jazz language, prove it sound for privacy via a logical relation for metric preservation, and illustrate its expressive power through a number of case studies drawn from the recent differential privacy literature.Comment: Journal revisio

Viscoelasticity of Quartz and Kaolin Slurries in Seawater: Importance of Magnesium Precipitates

In this study, the viscoelastic properties of quartz and kaolin suspensions in seawater were analysed considering two distinct conditions: pH 8 and 10.7. Creep and oscillatory sweep tests provided the rheological parameters. An Anton Paar MCR 102 rheometer (ANAMIN Group, Santiago, Chile) was used with a vane-in-cup configuration, and the data were processed with RheoCompass (TM) Light software (ANAMIN Group, Santiago, Chile). The outcomes were associated with the formation of solid species principally composed of magnesium precipitates. The magnesium in solution reduced in the presence of quartz (68 wt %), from 1380 to 1280 mg/L. Since the difference was not large regarding the solid-free seawater, the disposition of solid complexes at pH 10.7 was expected to be similar. The jump in pH caused both yield stress and viscoelastic moduli to drop, suggesting that the solid precipitates diminished the strength of the particle networks that made up the suspension. For the kaolin slurries (37 wt %), the yield stress raised when the pH increased, but unlike quartz, there was significant adsorption of magnesium cations. In fact, the concentration of magnesium in solution fell from 1380 to 658 mg/L. Dynamic oscillatory assays revealed structural changes in both pulps; in particular, the phase angle was greater at pH 8 than at pH 10.7, which indicates that at more alkaline conditions, the suspension exhibits a more solid-like character.Ricardo I. Jeldres thanks Conicyt Fondecyt 11171036 and Centro CRHIAM Project Conicyt/Fondap/15130015. The authors are grateful for the contribution of the Scientific Equipment Unit—MAINI of the Universidad Católica del Norte for facilitating the XRD analysis. Pedro Robles thanks the Pontificia Universidad Católica de Valparaíso for the support provided. This research was funded by Conicyt Fondecyt 11171036 and Centro CRHIAM Project Conicyt/Fondap/1513001

LETEO: Scalable anonymization of big data and its application to learning analytics

ANII Fondo sectorial de investigación con datos - 2018Created in 2007, Plan Ceibal is an inclusion and equal opportunities plan with the aim of supporting Uruguayan educational policies with technology. Throughout these years, and within the framework of its tasks, Ceibal has an important amount of data related to the use of technology in education, necessary to manage the plan and fulfill the assigned legal tasks. However, the data does not they can be studied without accounting for the problem of de identifying the users of the Plan. To exploit this data, Ceibal has deployed an instance of the Hortonworks Data Platform (HDP), a open source platform for the storage and parallel processing of massive data (big data). HDP offers a wide range of functional components ranging from large file storage (HDFS) to distributed programming of machine learning algorithms (Apache Spark / MLlib). However, as of today there are no solutions for the de-identification of personal code data open and integrated into the Hortonworks ecosystem. On the one hand, the deidentification tools existing data have not been designed so that they can easily scale to large volumes of data, and they also do not offer easy integration mechanisms with HDFS. This forces you to export the data outside of the platform that stores them to be able to anonymize them, with the consequent risk of exposure of confidential information. On the other hand, the few integrated solutions in the Hortonworks ecosystem are owners and the cost of their licenses is very significant. The objective of this project is to promote the use of the enormous amount of educational and technological data that Ceibal possesses, lifting one of the greatest obstacles that exist for that, namely, the preservation of privacy and the protection of the personal data of the beneficiaries of the Plan. To this end, this project seeks to generate anonymization tools that extend the HDP platform. On In particular, it seeks to develop open source modules to integrate into said platform, which implement a set of programmed anonymization techniques and algorithms in a distributed manner using Apache Spark and that can be applied to data sets stored in HDFS files

Copper tailing flocculation in seawater: relating the yield stress with fractal aggregates at varied mixing conditions

The implications of physical conditions of the feedwell on the rheological properties of synthetic copper tailings, flocculated in seawater, were analysed. The mixing intensity of flocculation was related to the structural characteristics of the aggregates, and the outcomes were linked to the yield stress of the pulp sediments. Tailings settling assays were conducted by using a 30 mm turbine type stirrer with an in-situ aggregate size characterisation. The structural characteristics of the aggregates were determined by using the focused beam reflectance measurement (FBRM). After a mixing time between the pulp and the flocculant, the sample was allowed to settle for 2.5 h, where the variation of the sediment height was minimal. The sediment was gently removed and subjected to rheological characterisation. The yield stress was measured on an Anton Paar MCR 102 rheometer (ANAMIN Group, Santiago, Chile), with a vane-in-cup configuration. The mixing intensity was related to the characteristics of the aggregates, and the outcomes were linked to the yield stress of the flocculated pulp sediments. More aggressive hydrodynamics deteriorated the structure of the aggregates, promoting the reduction of both its size and the fractal dimension. This brought direct consequences on the rheological properties of the sediments: at higher mixing level, the yield stress was lower. The explanation lies in the structural changes of the aggregates, where at a fixed mixing rate, the yield stress presented a seemingly exponential increase over the fractal dimension. Additionally, correlations were found between the rheological properties with settling rate and aggregate size.Ricardo I. Jeldres thanks Conicyt Fondecyt 11171036 and Centro CRHIAM Project Conicyt/Fondap/15130015. The authors are grateful for the contribution of the Scientific Equipment UnitMAINI of the Universidad Católica del Norte for supporting the experimental tests. Pedro Robles thanks the Pontificia Universidad Católica de Valparaíso for the support provided

Dinámica semanal de precios en galletitas: Un enfoque de datos de panel

Las mediciones de alta frecuencia de precios permiten observar una dinámica de precios muy puntual. Se intentó explicar los determinantes de la variación semanal de precios de galletitas en un modelo de datos de panel que captura la estructura de mercado del sector. Para ello se controlaron las galletitas por diversas características propias del producto (tamaño, sabor, tipo), así como los precios de sus insumos, variables del mercado cambiario y efectos temporales. Se encontró que la concentración de la oferta afecta positivamente a la variación del nivel de precios, que casi todos los insumos tienen el signo esperado, al igual que la inestabilidad del tipo de cambio, y ciertos efectos positivos de una variable anual.The paper attempts to explain determinants of the weekly variation of biscuit prices in Argentina through a panel data model that captures the market structure of the sector. For this to be accomplished, biscuits were controlled by various characteristics of the product (size, flavor, type), as well as input costs, exchange market variables and temporary effects. The measurements of high frequency of prices allowed to observe a very punctual price dynamics. It was found that the market concentration positively affects the variation in the price level, that almost all inputs have the expected sign, as does the exchange rate instability, and that there are certain positive effects associated with an annual variableFil: Meller, Leandro Matías. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Investigaciones Económicas y Sociales del Sur. Universidad Nacional del Sur. Departamento de Economía. Instituto de Investigaciones Económicas y Sociales del Sur; ArgentinaFil: Larrosa, Juan Manuel Ceferino. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Investigaciones Económicas y Sociales del Sur. Universidad Nacional del Sur. Departamento de Economía. Instituto de Investigaciones Económicas y Sociales del Sur; ArgentinaFil: Delbianco, Fernando Andrés. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; ArgentinaFil: Ramírez Muñoz del Toro, Gonzalo. Hyperia; ArgentinaFil: Uriarte, Juan. Hyperia; ArgentinaLIV Reunión Anual de la Asociación Argentina de Economía PolíticaBahía BlancaArgentinaUniversidad Nacional del Sur. Departamento de Economí

Theoretical proposal for the rehabilitation of Nothofagus pumilio forests degraded by fires based on cluster plantings with Embothrium coccineum

La rehabilitación de bosques templados con especies nativas requiere de ensayos y directrices que permitan alcanzar la recuperación de áreas degradadas del sur de Chile y contrarrestar el desequilibrio ambiental producto de los impactos recibidos. Este documento tiene como objetivo presentar una propuesta teórica de rehabilitación basada en plantaciones en núcleo para mejorar las potencialidades de recuperación de bosques de lenga (Nothofagus pumilio) degradados por incendios en la región de Aysén. La estrategia propone núcleos de lenga rodeados de notro (Embothrium coccineum), que actuaría como planta nodriza para acelerar el desarrollo de plántulas de lenga a través de mecanismos de facilitación, como el mejoramiento de las condiciones microclimáticas, y la protección de posibles daños por herbívoros de las plántulas dentro de cada núcleo. Esta propuesta podría ser utilizada en bosques degradados de lenga, tanto en Áreas Silvestres Protegidas como en bosques productivos, así como en paisajes fragmentados por incendios históricos.The rehabilitation of temperate forests with native species requires trial and guidelines to achieve recovery of degraded areas ofsouthern Chile and counteract the environmental imbalance caused by the impacts received. This study aims at presenting a theoreticalproposal of rehabilitation based on cluster plantings to improve the recovery of lenga (Nothofagus pumilio) forests degraded byhistorical fires in Aysén Region. A rehabilitation strategy based on cluster plantings is proposed, in which individuals of lenga areestablished together with notro (Embothrium coccineum), the latter as a nurse plant, to accelerate the development of lenga seedlingsthrough facilitation mechanisms, such as the improvement of microclimatic conditions, and protection from possible damage byseedling herbivores within each cluster. This proposal could be used in degraded lenga forests, both in Protected Wild Areas and inproductive forests, as well as in landscapes fragmented by historical fires.Fil: Huertas Herrera, Alejandro. Universidad de Magallanes; ChileFil: Promis Baeza, Alvaro Andres. Universidad de Chile.; ChileFil: Matías Rio. Universidad de Chile.; ChileFil: Toro Manríquez, Mónica del Rosario. Universidad de Magallanes; Chile. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Austral de Investigaciones Científicas; ArgentinaFil: Lencinas, María Vanessa. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Austral de Investigaciones Científicas; ArgentinaFil: Martínez Pastur, Guillermo José. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Austral de Investigaciones Científicas; Argentin

Comparación de la recuperación de la fatiga muscular inspiratoria entre jóvenes sedentarios y deportistas, pertenecientes a la Universidad de Talca en el año 2019

85 p.Introducción: En el ejercicio de alta intensidad se recluta la musculatura inspiratoria para sostener las demandas ventilatorias. Los sujetos que practican futbol alcanzan intensidades de ejercicio sobre 85% del Vo2max durante el partido; por lo tanto, esto puede generar un entrenamiento indirecto de la musculatura inspiratoria, produciendo una mejor respuesta frente a la fatiga y a la recuperación de ella. En cambio, en los sujetos que no practican actividad física regular esto podría ser diferente. Por este motivo el objetivo de este estudio fue determinar las diferencias en la recuperación de la fatiga de los músculos inspiratorios entre un grupo de estudiantes sedentarios sanos y otro que practicaba fútbol. Metodología: Estudio descriptivo de corte transversal aplicado a una muestra de 15 participantes 8 sedentarios y 7 deportistas, según cuestionario IPAQ. Se midió PiMax basal, post test de ejercicio, para valorar fatiga y post 5 para medir recuperación de la fatiga. Resultados: El grupo sedentarios, presentó una caída en promedio de 20,75 ± 11,82 cmH2O equivalente al 15,52% con respecto a la medición inicial con un (p<0,05); el grupo deportista, presentó una caída en promedio de 23,53 ± 6,7 cmH2O equivalente al 14,49% con respecto a la medición inicial con un (p<0,01). Demostrando así que hubo fatiga muscular inspiratoria en ambos grupos. La recuperación de la fatiga muscular inspiratoria, en cmH2O post 5 minutos, fue de 7,75 ± 9,79 cmH2O correspondiendo a un 5,62%, en el grupo sedentario y de 14,71 ± 11,32 cmH2O correspondiendo al 8,77%. en el grupo deportista. Sin embargo, esta diferencia no fue estadísticamente significativa. Conclusión: No existen diferencias significativas en la recuperación de la fatiga muscular inspiratoria entre el grupo de sujetos jóvenes futbolistas y el sedentario, pertenecientes a la Universidad de Talca

Potential use of adipose tissue stem cells in the control of aging

Cell therapy with adult stem cells is a new battle front for the control of aging. Before being used for this purpose, we need to answer several basic questions about the biochemistry and physiology of these cells. This paper presents some aspects and preliminary results obtained in our laboratory using stem cells from adipose tissue.Ministerio de Ciencia e Innovación BFU 2010 2088